1. Model checking softwar
پدیدآورنده : Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده :
QA
،
76
.
76
،.
V47
2. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
پدیدآورنده : / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK